compose f g = id
compose g f = id
